A logical view of composition
نویسندگان
چکیده
منابع مشابه
A Logical View of Composition a Logical View of Composition
DEC's business and technology objectives require a strong research program. The Systems Research Center (SRC) and three other research laboratories are committed to lling that need. SRC began recruiting its rst research scientists in l984|their charter, to advance the state of knowledge in all aspects of computer systems research. Our current w ork includes exploring high-performance personal c...
متن کاملA Logical View of Composition
We define two logics of safety specifications for reactive systems. The logics provide a setting for the study of composition rules. The two logics arise naturally from extant specification approaches; one of the logics is intuitionistic, while the other one is linear.
متن کاملA Logical View of Assignments
Imperative lambda calculus (ILC) is an abstract formal language obtained by extending the typed lambda calculus with imperative programming features, namely references and assignments. The language shares with typed lambda calculus important properties such as the Church-Rosser property and strong normalization. In this paper, we describe the logical symmetries that underly ILC by exhibiting a ...
متن کاملA Logical View of Effects
Despite their invaluable contribution to the programming language community, monads as a foundation for the study of effects have three problems: they make it difficult to combine effects; they enforce sequentialization of computations by the syntax; they prohibit effect-free evaluations from invoking effectful computations. Building on the judgmental formulation and the possible worlds interpr...
متن کاملA Logical View of Probability
Imprecise Probability or Upper and Lower Prob ability is represented as a very simple but powerful logic Despite having a very di erent language from classical log ics it enjoys many of the most important properties which means that some extensions to classical logic can be applied in a fairly straightforward way The logic is extended to allow qualitative grades of belief which can be used to r...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1993
ISSN: 0304-3975
DOI: 10.1016/0304-3975(93)90151-i